1

Proving properties of Pascal programs in MIZAR 2

Year:
1985
Language:
english
File:
PDF, 1.03 MB
english, 1985
13

Anisotropy of poly(vinyl alcohol) films in the u.v. and i.r. regions of the spectrum

Year:
1981
Language:
english
File:
PDF, 277 KB
english, 1981
14

Inductive assertion method for logic programs

Year:
1988
Language:
english
File:
PDF, 2.36 MB
english, 1988
15

Interaction between Cyanidin 3-glucoside and Cu(II) ions

Year:
2008
Language:
english
File:
PDF, 271 KB
english, 2008
17

Completeness of SLDNF-resolution for nonfloundering queries

Year:
1996
Language:
english
File:
PDF, 1.14 MB
english, 1996
21

Iron complexes with rhodizonic acid

Year:
1983
Language:
english
File:
PDF, 245 KB
english, 1983
25

NMR studies of mixed-ligand iron(III) dithiocarbamates

Year:
1985
Language:
english
File:
PDF, 424 KB
english, 1985
30

Erratum

Year:
1986
Language:
english
File:
PDF, 332 KB
english, 1986
39

Testicular expression of the mouse histone H1.1 gene

Year:
1998
Language:
english
File:
PDF, 1.34 MB
english, 1998
41

Hybrid rules with well-founded semantics

Year:
2010
Language:
english
File:
PDF, 441 KB
english, 2010